library(tidyverse)
library(DeclareDesign)
library(rdss)

set.seed(42)

sims <- 2000
b_sims <- 2000

source("code/declarations/declaration_9.1.R")
source("code/declarations/declaration_9.2.R")

diagnosis_9.2 <- diagnose_design(declaration_9.2, sims = sims, bootstrap_sims = b_sims)

write_rds(diagnosis_9.2, file = "diagnosis_objects/diagnosis_9.2.rds")

